Computing Machine Laboratory - PDFSEARCH.IO - Document Search Engine

Computing Machine Laboratory
Results: 84

#	Item
71	Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, February[removed]Practical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2004-03-03 19:06:51 State machine replication Replication Byzantine fault tolerance Network File System Consensus Transmission Control Protocol Communications protocol Ping Virtual synchrony Computing Fault-tolerant computer systems Data synchronization
72	Appears as Technical Memo MIT/LCS/TM-589, MIT Laboratory for Computer Science, June[removed]Authenticated Byzantine Fault Tolerance Without Public-Key Cryptography Miguel Castro and Barbara Liskov Laboratory for Computer S Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 1999-07-01 16:31:35 Data synchronization Public-key cryptography State machine replication Electronic documents Replication Consensus Digital signature Authenticator Cryptography Fault-tolerant computer systems Computing
73	Proactive Recovery in a Byzantine-Fault-Tolerant System Miguel Castro and Barbara Liskov Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA[removed]castro,liskov @l Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2000-09-13 19:13:12 State machine replication Replication Public-key cryptography Communications protocol Byzantine fault tolerance Fault-tolerant system Transmission Control Protocol Computing Fault-tolerant computer systems Data synchronization
74	FEB.16Nina Amenta, University of California, Davis COMPUTING AND USING THE VORONOI DIAGRAM The Voronoi diagram of a set of points divides space into regions, each region consisting of the part of space closer to a partic Add to Reading List Source URL: www.cs.sonoma.edu Language: English - Date: 2006-10-15 16:23:22 Computational neuroscience Battelle Memorial Institute Lawrence Livermore National Laboratory Livermore Valley United States Department of Energy National Laboratories University of California Computer Neural network Machine learning Science Applied mathematics Knowledge
75	A Thread of One’s Own Sriram Srinivasan University of Cambridge Computer Laboratory, 15 JJ Thomson Ave, Cambridge, CB3 0FD, UK [removed] Add to Reading List Source URL: www.malhar.net Language: English - Date: 2013-08-30 13:59:24 Control flow Cross-platform software Subroutines Concurrent computing Java virtual machine Java bytecode Coroutine Call stack Continuation Computing Software engineering Computer programming
76	Reports Machine Learning and Inference Laboratory EMERALD 2: An Integrated System of Machine Learning and Discovery Programs for Education and Research Add to Reading List Source URL: www.mli.gmu.edu Language: English - Date: 2005-02-25 16:19:46 Lisp programming language Functional languages Robot Genera Common Lisp User interface Machine learning Cognitive robotics Lisp Computing Software Computer programming
77	Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Arbiter Computing Actor model Computer science Software engineering Automata theory Models of computation Finite-state machine
78	Josiah Johnston Renewable and Appropriate Energy Laboratory, Energy and Resources Group, University of California, Berkeley 310 Barrows Hall #3050, Berkeley, CA 94720 \| siah at berkeley dot edu \| ([removed] \| http:// Add to Reading List Source URL: josiah.berkeley.edu Language: English - Date: 2014-04-29 01:54:56 SAS Statistics Artificial intelligence Computing Machine learning Statistical classification Image analysis
79	Version 1, August[removed]CCS-F1X5 Ferranti Mark I and Mark I: list of references. Hardware and systems architecture. Add to Reading List Source URL: www.ourcomputerheritage.org Language: English* - Date: 2012-01-22 14:41:14 History of computing hardware Manchester Mark 1 Ferranti Mark 1 Manchester computers Christopher Strachey Autocode Ferranti Manchester Small-Scale Experimental Machine Computing Machine Laboratory Computing University of Manchester Classes of computers
80	ccs-f3x4 Issue 1 20 March[removed]Ferranti Pegasus, Perseus and Sirius Computers Software All three machines were designed before 1960, when high-level languages had not yet emerged, and programs were prepared in machine c Add to Reading List Source URL: www.ourcomputerheritage.org Language: English - Date: 2012-01-22 14:41:22 Mach Multi-touch Smartphones Punched tape Computer Ferranti Pegasus Autocode Assembly language Computing University of Cambridge Computer Laboratory IOS

UPDATE